Sökresultat för: Jean Gallier
A Guide to the Classification Theorem for Compact Surfaces (Inbunden)
avJean Gallier, Dianna Xu
ISBN: 9783642343636 - UTGIVEN: 2013-02-06This book offers a detailed proof of the classification theorem for compact surfaces. It presents the technical tools needed to deploy the method effectively as well as demonstrates their use in a clearly structured, worked example.[...]
Logic for Computer Science (Pocket)
avJean H. Gallier
ISBN: 9780486780825 - UTGIVEN: 2015-06This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested i[...]
